Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (9) | Журнали та продовжувані видання (8) | Автореферати дисертацій (1) | Реферативна база даних (39) | Авторитетний файл імен осіб (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Федасюк Д$<.>) | |||
|
Загальна кількість знайдених документів : 19 Представлено документи з 1 до 19 |
|||
| 1. | 
Федасюк Д. В. Підходи до стандартизації електронних дисциплін у Віртуальному навчальному середовищі Львівської політехніки [Електронний ресурс] / Д. В. Федасюк, Л. Д. Озірковський, Т. В. Чайківський // Вісник Національного університету "Львівська політехніка". Інформатизація вищого навчального закладу. - 2013. - № 775. - С. 25-29. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPIVNZ_2013_775_7 Розглянуто задачі стандартизації електронних дисциплін у системах дистанційного навчання. Показано стандартизацію форматів даних і структури дисципліни на прикладі Віртуального навчального середовища Львівської політехніки. | ||
| 2. |
Федасюк Д. В. Структура інформаційно-аналітичної системи обліку підготовки наукових кадрів університету [Електронний ресурс] / Д. В. Федасюк, В. Макар, Р. Тушницький // Вісник Національного університету "Львівська політехніка". Інформатизація вищого навчального закладу. - 2013. - № 775. - С. 99-106. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPIVNZ_2013_775_20 Розглянуто інформаційно-аналітичну систему автоматизації обліку підготовки наукових кадрів у Національному університеті "Львівська політехніка". Наведено архітектуру системи, її основні функціональні можливості, модель сховища даних, а також технології реалізації системи. | ||
| 3. |
Яковина В. Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення [Електронний ресурс] / В. Яковина, П. Сердюк, О. Нитребич, Д. Федасюк // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 209-213. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_32 Зазначено, що у моделях прогнозування надійності програмного забезпечення (ПЗ) засобами архітектурного підходу припущення про незалежність виконання компонент є спрощенням реального процесу роботи програмного забезпечення. Вдосконалено модель Гокаля з використанням Марковських ланцюгів вищого порядку, що надає змогу врахувати залежності виконання ПЗ у прогнозуванні його надійності. | ||
| 4. | 
Федасюк Д. В. Метод побудови сценаріїв тестування програмного забезпечення на основі аналізу його змінних [Електронний ресурс] / Д. В. Федасюк, В. С. Яковина, П. В. Сердюк, О. О. Нитребич // Інформаційні технології та комп'ютерна інженерія. - 2014. - № 2. - С. 50-58. - Режим доступу: http://nbuv.gov.ua/UJRN/Itki_2014_2_9 | ||
| 5. | 
Федасюк Д. В. Методика розроблення структурно-автоматних моделей дискретно-неперервних стохастичних систем [Електронний ресурс] / Д. В. Федасюк, С. Б. Волочій // Радіоелектронні і комп’ютерні системи. - 2016. - № 6. - С. 24–34. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_6_6 Під час використання технології побудови аналітичних моделей поведінки відмовостійких програмно-апаратних систем у вигляді систем диференціальних рівнянь Колмогорова - Чепмена треба здійснити безпомилкове розроблення графа станів і переходів. Існує технологія побудови аналітичних моделей поведінки, в якій розроблення графа станів і переходів здійснюється на основі формалізованого представлення об'єкта дослідження у вигляді структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей, яка надає змогу автоматизувати цей процес.У технології розроблення дискретно-неперервних стохастичних моделей відмовостійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно-автоматну модель (САМ) відмовостійкої системи. Ступінь формалізації методики побудови графу станів надав змогу її автоматизувати в програмному засобі ASNA. Якщо в САМ відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення САМ. Наведено методику розроблення САМ відмовостійких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації. | ||
| 6. |
Федасюк Д. В. Структурно-автоматна модель відмовостійких систем для автоматизації використання методу фаз Ерланга [Електронний ресурс] / Д. В. Федасюк, С. Б. Волочій // Радіоелектронні і комп’ютерні системи. - 2016. - № 3. - С. 78–92. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_3_12 В технології розроблення надійнісних моделей відмовостійких радіоелектронних інформаційних систем у вигляді дискретно-неперервних стохастичних систем марковського типу одним із напрямків підвищення ступеня їх адекватності є врахування в моделі реальних законів розподілу для тривалостей процедур і інтервалів часу між подіями процесів. Мова йде про побудову моделей у вигляді графа станів і переходів, в яких кількість станів складає сотні або тисячі. Проблема стає більш гострою, коли для розв'язання задач надійнісного синтезу в процесі виконання проектних завдань необхідно побудувати десятки графів станів. Вирішення такої проблеми надає удосконалена технологія аналітичного моделювання, в якій побудова графа станів є автоматизованою. Суть удосконалення в тому, що побудова графа станів здійснюється на основі структурно-автоматної моделі відмовостійкої радіоелектронної інформаційної системи. Удосконалення методики розроблення структурно-автоматних моделей надасть змогу автоматизувати використання методу фаз Ерланга для побудови моделей статистичного представлення процесу експлуатації відмовостійких систем у вигляді графа станів і переходів. | ||
| 7. | 
Гавриш В. І. Гранична задача теплопровідності для шару з чужорідним циліндричним включенням [Електронний ресурс] / В. І. Гавриш, Д. В. Федасюк, А. І. Косач // Фізико-хімічна механіка матеріалів. - 2010. - Т. 46, № 5. - С. 115-120. - Режим доступу: http://nbuv.gov.ua/UJRN/PHKhMM_2010_46_5_20 | ||
| 8. |
Федасюк Д. Формування системи вимог до електронних освітніх ресурсів вищого навчального закладу з метою їх сертифікації [Електронний ресурс] / Д. Федасюк, Н. Гоц, М. Микийчук // Вісник Національного університету "Львівська політехніка". Інформатизація вищого навчального закладу. - 2016. - № 853. - С. 47-58. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPIVNZ_2016_853_9 Обгрунтовано доцільність сертифікації електронних навчальних ресурсів вищого навчального закладу. Сформовано порядок і схему внутрішньої сертифікації електронних навчальних видань, розроблено систему критеріїв для комплексної експертизи електронних освітніх ресурсів (критерії структурного, наукового та методичного оцінювання), запропоновано методику оцінювання рівня якості електронного освітнього ресурсу. | ||
| 9. | 
Глинський Я. М. Розроблення і використання електронних відеоресурсів навчального призначення [Електронний ресурс] / Я. М. Глинський, Д. В. Федасюк, В. А. Ряжська // Інформаційні технології і засоби навчання. - 2017. - Т. 58, вип. 2. - С. 67-78. - Режим доступу: http://nbuv.gov.ua/UJRN/ITZN_2017_58_2_9 Розглянуто питання теоретичного обгрунтування, розроблення і впровадження у навчальний процес електронних освітніх відеоресурсів (ЕОВ) на прикладі створення й аналізу результатів використання колекції відеоуроків на тему про розробку проектів у подійно-орієнтованому програмуванні, що викладається в рамках дисципліни «Інформатика» для студентів багатьох спеціальностей. Запропоновано деякий розвиток існуючого понятійно-категоріального апарату, що стосується розроблення ЕОВ. Стверджено, що відеоуроки надають змогу автоматизувати процес навчання шляхом перерозподілу навчального часу на користь позааудиторної самостійної роботи студентів і забезпечують вивільнення аудиторного часу для висвітлення теоретичних питань курсу, що націлено на підвищення рівня фундаменталізації навчання. Наведено практичні рекомендації щодо створення ефективних ЕОВ, які можуть бути корисними для авторів електронних курсів для студентів різних форм навчання.Рассмотрены вопросы теоретического обоснования, разработки и внедрения в учебный процесс электронных образовательных видеоресурсов (ЭОВ) на примере создания и анализа результатов использования коллекции видеоуроков на тему разработки проектов в событийно-ориентированном программировании, которая изучается в рамках предмета «Информатика» студентами многих специальностей. Предложено некоторое развитие существующего понятийно-категориального аппарата, касающегося разработки ЭОВ. Утверждается, что видеоуроки позволяют автоматизировать процесс обучения, перераспределить учебное время в пользу внеаудиторной самостоятельной работы студентов, обеспечить высвобождение аудиторного времени для освещения теоретических вопросов курса, что нацелено на повышение уровня фундаментализации обучения. Приведены практические рекомендации по созданию эффективных ЭОВ, которые могут быть полезными для авторов электронных курсов для студентов разных форм обучения.This article discusses the theoretical foundation, the creation and implementation of the electronic educational video resources (EEVR) in the example of the development and the usage of the collection of video tutorials in event-driven programming theme, which is studied in the framework of the subject "Informatics" by students of many specialties. It offers some development of the existing conceptual and categorical apparatus concerning EEVR development. It is alleged that the video tutorials allowyou to automate the process of learning, redistribute instructional time for the benefit of students' independent work, to provide classroom release time for the teaching of the theoretical issues of the course that is aimed at improving the fundamental nature of training. Practical recommendations for the development of the effective EEVR, which may be useful for the authors of e-learning courses for students of different forms of training are proposed. | ||
| 10. |
Федасюк Д. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення [Електронний ресурс] / Д. Федасюк, С. Волочій // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2017. - № 864. - С. 49-62. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2017_864_9 Під час використання технології побудови аналітичних моделей поведінки відмовостійких програмно-апаратних систем у вигляді систем диференціальних рівнянь Колмогорова - Чепмена треба здійснити безпомилкове розроблення графа станів і переходів. Існує технологія побудови аналітичних моделей поведінки, в якій розроблення графа станів і переходів здійснюється на основі формалізованого представлення об'єкта дослідження у вигляді структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей, яка надає змогу автоматизувати цей процес.У технології розроблення дискретно-неперервних стохастичних моделей відмовостійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно-автоматну модель (САМ) відмовостійкої системи. Ступінь формалізації методики побудови графу станів надав змогу її автоматизувати в програмному засобі ASNA. Якщо в САМ відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення САМ. Наведено методику розроблення САМ відмовостійких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації. | ||
| 11. | 
Чопей Р. С. Огляд підходів до аналізу тривалості виконання програмного коду [Електронний ресурс] / Р. С. Чопей, Д. В. Федасюк // Електротехнічні та комп’ютерні системи. - 2017. - № 26. - С. 68-77. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2017_26_11 | ||
| 12. | 
Федасюк Д. В. Алгоритм побудови графу потоку керування за текстом програми мовою C [Електронний ресурс] / Д. В. Федасюк, Р. С. Чопей // Радіоелектроніка, інформатика, управління. - 2018. - № 2. - С. 154-161. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2018_2_19 Розглянуто проблему автоматизованої побудови графу потоку керування за текстом програми мовою С, що є важливим етапом структурного тестування вбудованих систем. Мета роботи - створення алгоритму побудови графу потоку керування за текстом програми, що має високу швидкість роботи та дозволяє подальше застосування існуючими засобами автоматизованого тестування. Запропоновано алгоритм побудови графу потоку керування за текстом програми мовою С, який здійснює попередню обробку вхідного тексту програми шляхом видалення коментарів та порожніх рядків, визначає кількість вершин та ребер графу потоку керування на основі синтаксичного аналізу тексту програм, а також формує, заповнює та зберігає матрицю інцидентності в окремому текстовому файлі, що дозволяє подальше використання засобами тестування, які у якості вхідних даних приймають граф потоку керування, окрім того, текстовий файл може використовуватись засобами для графічного представлення графу потоку керування. Розроблено програмний модуль, що реалізує запропонований алгоритм, який використано при проведенні експериментів з дослідження залежності часу побудови графу потоку керування від кількості рядків тексту програми. Висновки: проведені експерименти підтвердили працездатність запропонованого алгоритму та розробленого на його основі програмного модуля, довели придатність результатів роботи алгоритму, що дозволяє рекомендувати його для подальшого застосування засобами автоматизованого тестування для зменшення часових витрат на тестування вбудованого програмного забезпечення. | ||
| 13. | 
Чопей Р. С. Метод аналізу тривалості виконання програмного коду з урахуванням архітектури мікроконтролера [Електронний ресурс] / Р. С. Чопей, Д. В. Федасюк // Вісник Вінницького політехнічного інституту. - 2018. - № 2. - С. 74-79. - Режим доступу: http://nbuv.gov.ua/UJRN/vvpi_2018_2_14 Розглянуто загальні проблеми, які можуть виникнути під час аналізу тривалості виконання програмного коду вбудованої системи. Огляд існуючих підходів, проведений авторами, показав, що методи, засновані на аналізі кеш-пам'яті та архітектури конвеєра команд мікроконтролера, неефективні для оцінки тривалості виконання програмного коду, що виконується на мікроконтролерних вбудованих системах. Один зі способів підвищення ефективності аналізу тривалості виконання програмного коду - це врахування внутрішньої архітектури мікроконтролера, включаючи затримки, що відбуваються під час обміну даними між внутрішніми модулями мікроконтролера та затримками при передачі даних через стандартні інтерфейси зв'язку. Запропоновано метод аналізу тривалості виконання програмного коду з урахуванням швидкості обміну даними між внутрішніми модулями мікроконтролера та швидкості надсилання даних через інтерфейси зв'язку. Чисельними експериментами доведено підвищення точності одержаних результатів у порівнянні з існуючими методами. Підвищення ефективності запропонованого методу, можливе шляхом врахування тривалості читання даних з оперативної пам'яті, а також за рахунок автоматизації процесу розрахунку тривалості виконання програми. | ||
| 14. |
Чопей Р. С. Метод побудови засобу для автоматизованого тестування тривалості виконання програмного коду вбудованих систем розроблених з використанням keil uvision [Електронний ресурс] / Р. С. Чопей, Д. В. Федасюк // Електротехнічні та комп’ютерні системи. - 2018. - № 27. - С. 213-219. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2018_27_27 | ||
| 15. | 
Яковина В. С. Аналіз використання інформаційних критеріїв у моделях оцінки надійності програмного забезпечення [Електронний ресурс] / В. С. Яковина, Д. В. Федасюк, О. О. Нитребич // Вісник Національного технічного університету "ХПІ". Серія : Нові рішення в сучасних технологіях. - 2014. - № 26. - С. 108-115. - Режим доступу: http://nbuv.gov.ua/UJRN/vcpinrct_2014_26_16 | ||
| 16. | 
Білецький Т. П. Прогнозування дефектів у програмному забезпеченні алгоритмами глибинного навчання CNN та RNN [Електронний ресурс] / Т. П. Білецький, Д. В. Федасюк // Науковий вісник НЛТУ України. - 2021. - Т. 31, № 2. - С. 114-120. - Режим доступу: http://nbuv.gov.ua/UJRN/nvnltu_2021_31_2_21 | ||
| 17. |
Голяка Р. Л. Логарифмуючі підсилювачі сигналу для програмно-апаратних систем магнітного трекінгу [Електронний ресурс] / Р. Л. Голяка, Т. А. Марусенкова, Д. В. Федасюк // Електротехнічні та комп’ютерні системи. - 2020. - № 33. - С. 33-45. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2020_33_7 | ||
| 18. | 
Дем’янець Т. В. Застосування згорткової нейронної мережі для виявлення меланоми за зображенням новоутворення на мобільному пристрої [Електронний ресурс] / Т. В. Дем’янець, Д. В. Федасюк // Ukrainian Journal of Information Technology. - 2021. - Vol. 3, Nr. 1. - С. 8-14. - Режим доступу: http://nbuv.gov.ua/UJRN/ukjit_2021_3_1_4 | ||
| 19. | 
Федасюк Д. Адаптивна програмна система на основі онтологічного підходу для людей з когнітивними порушеннями [Електронний ресурс] / Д. Федасюк, І. Луцик // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. - 2021. - Вип. 9. - С. 61-74. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPICM_2021_9_9 Запропоновано метод створення адаптивної програмної системи для допомоги людям із когнітивними порушеннями (КП), оснований на використанні онтологічної моделі предметної області. Проаналізовано специфіку створення програмних засобів для допомоги людям із КП. Розкрито особливості використання онтологічного підходу для формування адаптивної функціональності та графічного інтерфейсу та проаналізовано їхні переваги у порівнянні з класичними методами. Встановлено, що за використання вказаного методу немає потреби у разі зміни бізнес-логіки здійснювати перекомпіляцію та повне розгортання програмної системи. Спроєктовано онтологічну модель предметної області, що надасть змогу налаштовувати систему під потреби конкретного користувача. Запропоновано архітектуру програмної системи на базі онтологічної моделі предметної області, яка враховує можливість персоналізації компонент системи та інтерфейсу користувача без необхідності повторного розгортання системи. Розкрито процес адаптації мобільного застосунку на основі даних про порушення здоров'я користувача з використанням онтологічної моделі предметної області. Результатом дослідження є розроблення програмної системи, що реалізовує запропонований процес адаптації та надає змогу модифікувати мобільний застосунок під потреби конкретного користувача, використовуючи онтологічну модель предметної області. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |